Operating systems principlesLEVY, Henry M.ACM transactions on computer systems. 1997, Vol 15, Num 4, pp 355-447, issn 0734-2071Conference Proceedings

Computer Security and the Modern HomeDENNING, Tamara; KOHNO, Tadayoshi; LEVY, Henry M et al.Communications of the ACM. 2013, Vol 56, Num 1, pp 94-103, issn 0001-0782, 10 p.Article

Optimistic replication for internet data servicesSAITO, Yasushi; LEVY, Henry M.Lecture notes in computer science. 2000, pp 297-314, issn 0302-9743, isbn 3-540-41143-7Conference Paper

Eraser : A dynamic data race detector for multithreaded programsSAVAGE, S; BURROWS, M; NELSON, G et al.ACM transactions on computer systems. 1997, Vol 15, Num 4, pp 391-411, issn 0734-2071Conference Paper

Improving the reliability of commodity operating systemsSWIFT, Michael M; BERSHAD, Brian N; LEVY, Henry M et al.Operating systems review. 2003, Vol 37, Num 5, pp 207-222, issn 0163-5980, 16 p.Conference Paper

Disco : Running commodity operating systems on scalable multiprocessorsBUGNION, E; DEVINE, S; GOVIL, K et al.ACM transactions on computer systems. 1997, Vol 15, Num 4, pp 412-447, issn 0734-2071Conference Paper

Improving the reliability of commodity operating systemsSWIFT, Michael M; BERSHAD, Brian N; LEVY, Henry M et al.ACM transactions on computer systems. 2005, Vol 23, Num 1, pp 77-110, issn 0734-2071, 34 p.Conference Paper

An analysis of operating system behavior on a simultaneous multithreaded architectureREDSTONE, Joshua A; EGGERS, Susan J; LEVY, Henry M et al.Operating systems review. 2000, Vol 34, Num 5, pp 245-256, issn 0163-5980Conference Paper

Recovering device driversSWIFT, Michael M; ANNAMALAI, Muthukaruppan; BERSHAD, Brian N et al.ACM transactions on computer systems. 2006, Vol 24, Num 4, pp 333-360, issn 0734-2071, 28 p.Article

An evaluation of speculative instruction execution on simultaneous multithreaded processorsSWANSON, Steven; MCDOWELL, Luke K; SWIFT, Michael M et al.ACM transactions on computer systems. 2003, Vol 21, Num 3, pp 314-340, issn 0734-2071, 27 p.Article

Measurement, modeling, and analysis of a peer-to-peer file-sharing workloadGUMMADI, Krishna P; DUNN, Richard J; SAROIU, Stefan et al.Operating systems review. 2003, Vol 37, Num 5, pp 314-329, issn 0163-5980, 16 p.Conference Paper

Continuous Profiling : Where have all the cycles gone ?ANDERSON, J. M; BERC, L. M; DEAN, J et al.ACM transactions on computer systems. 1997, Vol 15, Num 4, pp 357-390, issn 0734-2071Conference Paper